USINA DE BELO MONTE E O PROCESSO DE DES-RE-TERRITORIALIZAÇÃO DOS ATINGIDOS URBANOS EM ALTAMIRA/PA

BELO MONTE HIDROELETRIC PLANT AND THE PROCESS OF DESRETERRITORIALIZATION OF THE URBAN AFFECTED IN ALTAMIRA/PALA CENTRAL ELÉCTRICA DE BELO MONTE Y EL PROCESO DE DESRETERRITORIALIZACIÓN DE LAS ZONAS URBANAS AFECTADAS EN ALTAMIRA/PARESUMOO presente ensaio objetiva analisar o processo de des-re-territorialização dos atingidos urbanos pela construção da Usina Hidrelétrica de Belo Monte, instalada no município de Vitória do Xingu no estado do Pará. Contudo, a análise centra-se na Área Urbana Diretamente Afetada (ADA Urbana) da cidade de Altamira/PA, tendo em vista a necessidade de entender a complexidade que ocorreu esse processo. Como procedimentos metodológicos, utilizou-se o Plano Básico Ambiental (PBA) elaborado pela Norte Energia, além de documentos, dados e informações obtidas em secretarias e órgãos oficiais para dar subsídio ao tema que ora será exposto. O processo de des-re-territorialização dos atingidos urbanos em Altamira/PA pela construção da UHE Belo Monte foi marcado por situações forçadas de desterritorialização, assim como houve situações que a reterritorialização ocorreu de forma injusta, se privilegiarmos o social em detrimento do espacial, assim como faz Souza (2002). Isso aponta um cenário em que as famílias atingidas estão agora submetidas a uma nova lógica de reprodução social imposta pelo empreendedor, ligadas a um conjunto de influências e experiências de socialização, distantes dos antigos familiares e vizinhos, o que os forçam a estabelecerem novos modelos ou tentativas de identificação territorial.Palavras-chave: UHE Belo Monte; Des-re-territorialização; Atingidos Urbanos. ABSTRACTThe present assay objective then analyzes the process of desreterritorialization of urban affected for the construction of Belo Monte Hydroelectric Plant, installed in the municipality of Vitória do Xingu in the state of Pará. However, the analysis is centered on the Urban Area Directly Affected (Urban ADA) from the city of Altamira-PA, In view of the need to understand the complexity that occurred this process. As methodological procedures, the Basic Environmental Plan (PBA) prepared by Norte Energia was used, in addition to documents, data and information obtained from secretariats and official bodies to provide input to the topic that will now be exposed. The process of desreterritorialization of the urban affected in Altamira / PA by the construction of the Belo Monte HPP was marked by forced situations of desterritorialization, just as there were situations where the reterritorializatin occured unfairly, if we privilegie the social over the detriment spacial, just like Souza (2002). This points to a scenario in which the affected families are now subjected to a new logic of social reproduction imposed by the entrepreneur, linked to a set of influences and experiences of socialization, distant from the old relatives and neighbors, which force them to establish new models or attempts at territorial identification.Keywords: Amazon; UHE Belo Monte; Des-re-territorialization; Urban affected.RESUMENEste ensayo tiene como objetivo analizar el proceso de desreterritorialización de las ciudades afectadas por la construcción de la Central Hidroeléctrica de Belo Monte, instalada en el municipio de Vitória do Xingu, en el estado de Pará. Sin embargo, el análisis se centra en la Zona Urbana Directamente Afectada (ADA Urbana) de la ciudad de Altamira/PA, en vista de la necesidad de comprender la complejidad de este proceso. Como procedimientos metodológicos se utilizó el Plan Básico Ambiental (PBA) elaborado por Norte Energía, además de documentos, datos e información obtenidos en las secretarías y organismos oficiales para dar apoyo al tema que se expondrá. El proceso de desreterritorialización del urbano afectado en Altamira/PA por la construcción de la Central Hidroeléctrica de Belo Monte estuvo marcado por situaciones de desterritorialización forzosa, así como hubo situaciones en que la reterritorialización se produjo de manera injusta, si privilegiamos lo social en detrimento de lo espacial, como hace Souza (2002). Esto apunta a un escenario en el que las familias afectadas están ahora sometidas a una nueva lógica de reproducción social impuesta por el empresario, ligada a un conjunto de influencias y experiencias de socialización, lejos de los antiguos miembros de la familia y los vecinos, que les obligan a establecer nuevos modelos o intentos de identificación territorial.Palabras clave: UHE Belo Monte; Des-re-territorialización; Urbano afectado

Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Logic Programming for Verification of Object-Oriented Programming Law Conditions

Programming laws are a means of stating properties of programming con-structs and resoning about programs. Also, they can be viewed as a program transformation tool, being useful to restructure object-oriented programs. Usually the appli-cation of a programming law is only allowed under the satisfaction of side-conditions. In this work, we present how the conditions associated to object-oriented program-ming laws are checked by using Prolog. This is a step towards a tool that allows user definable refactorings based on the application of programming laws

Abstract Refactoring by Transformation

In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented language for refinement similar to Java. We follow a strategy involving data and algorithmic refinement of classes.

Refactorings as Formal Refinements

Esta tese foi apresentada à Pós-Graduação em Ciência da Computação do Centro de Informática da Univer-sidade Federal de Pernambuco como requisito parcial para obtenção do grau de Doutor em Ciência da Computação. A thesis presented to the Federal University of Pernam

Refactoring by Transformation

In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented language for refinement similar to Java. We follow a strategy involving data and algorithmic refinement of classes

Implementing Java Modeling Language Contracts with AspectJ

The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java applications. However, the JML compiler explores the reflection technique and data structures not supported by Java ME applications. In order to eliminate such a problem, this paper proposes the use of AspectJ to implement a new JML compiler, which generates an instrumented bytecode compliant with both Java SE and Java ME applications. The paper includes a comparative study to demonstrate the quality of the final code generated by our compiler. The size of the code is compared against the code generated by an existent JML compiler. Moreover, we evaluate the amount of additional code required to implement the JML assertions in Java applications. Results indicate that the overhead in the code size produced by our approach is very small, which is essential for Java ME applications